-- MAIN == 16 
DEF dummy():nat == 16
DEF MAIN:nat == dummy()
DEF dummy2():nat == 18
